Effective Software Engineering with Claude Code
reddit.com·8h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Semantic Dictionary Encoding
falvotech.com·6h·
Discuss: Hacker News
🗂️Type Indexing
Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·5h
💫Effect Systems
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·8h·
Discuss: DEV
🏗️Cranelift
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
🥬 Freshness Checker AI: The AI-Powered Food Safety Assistant
freshness-checker-ai-460322848371.us-west1.run.app·16h·
Discuss: DEV
🔮Type Inference Visualization
Ever copy code and watch it fail for no reason? I made a scrubber for that 🧽
codecleanse.us·4h·
Discuss: r/programming
✨Code Formatters
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·6h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Greyscale-box test-driven development
blog.ploeh.dk·2h
🧪Compiler Testing
Status Week 37
blogs.gnome.org·2h
⚙️TOML Parsers
Show HN: Semlib – Semantic Data Processing
github.com·7h·
Discuss: Hacker News
🔍ML Language
Boring Is Good
jenson.org·30m·
Discuss: Hacker News
🌱Minimal ML
[WIP] MOAT - Mother Of All Towers (Part 5: Tile-Effects & Satisfaction)
preview.redd.it·6h·
Discuss: r/godot
🏗️Custom Allocators
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·16h·
Discuss: Hacker News
🛡️Error Ergonomics
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
We Tested AI Impact Assessments. Here’s What We Learned. (SSIR)
ssir.org·8h
✨Effect Inference
Investigating Symbolic Triggers of Hallucination in Gemma Models Across HaluEval and TruthfulQA
arxiv.org·17h
🎲Parser Fuzzing
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·2h·
Discuss: Hacker News
🔗Lexical Scoping
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers